TAGs: positive rules addition